type Reader[A, X] = A => X